Non-Classical - PDFSEARCH.IO - Document Search Engine

Non-Classical
Results: 915

#	Item
531	Probabilistic Programming Andrew D. Gordon Thomas A. Henzinger Aditya V. Nori Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2014-02-03 11:01:04 Probability and statistics Markov models Non-classical logic Probabilistic logic Markov chain Bayesian network Bernoulli distribution Graphical model Probability distribution Statistics Bayesian statistics Statistical models
532	The Even More Irresistible SROIQ Ian Horrocks, Oliver Kutz, and Ulrike Sattler School of Computer Science, The University of Manchester, Kilburn Building, Oxford Road, Manchester, M13 9PL, UK. {Horrocks, Kutz, Sattler}@c Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2005-12-14 14:49:54 Ontology Non-classical logic Tbox Philosophical logic Algebraic structures Modal logic Description logic Abox Binary relation Mathematics Logic Mathematical logic
533	us v. Morton Sobell 14, 1950 Add to Reading List Source URL: media.nara.gov Language: English - Date: 2012-03-21 14:18:30 Modal logic 9 Non-classical logic Max Elitcher Morton Sobell
534	A Language for Legal Discourse I. Basic Features L. Thorne McCarty Add to Reading List Source URL: logic.stanford.edu Language: English - Date: 2003-10-01 21:36:09 Proof theory Intuitionistic logic Logic programming Negation Prolog Mathematical proof Modal logic First-order logic Sequent Logic Mathematical logic Non-classical logic
535	New Non‐Fiction for November [removed]ADA Adamson, Peter Classical Philosophy : a History Of Philosophy Without Any Gaps. Add to Reading List Source URL: www.berwynlibrary.org Language: English - Date: 2014-11-05 14:40:14 Ada programming language Lord Byron Women in engineering Women in technology Isaac Asimov Science fiction British people Ada Lovelace
536	Gauge Freedom in Orbital Mechanics MICHAEL EFROIMSKY United States Naval Observatory, Washington DC, USA ABSTRACT: Both orbital and attitude dynamics employ the method of variation of parameters. In a non-perturbed setti Add to Reading List Source URL: aa.usno.navy.mil Language: English - Date: 2014-11-21 14:29:23 Curves Astrodynamics Celestial mechanics Classical mechanics Differential geometry Lagrangian Orbital elements Gauge fixing Differential geometry of curves Geometry Physics Algebraic geometry
537	FUZZY DATA MINING AND GENETIC ALGORITHMS APPLIED TO INTRUSION DETECTION Susan M. Bridges [removed] Rayford B. Vaughn Add to Reading List Source URL: csrc.nist.gov Language: English - Date: 2000-11-03 00:00:00 Statistics Fuzzy logic Non-classical logic Mathematics Intrusion detection system Anomaly detection Genetic fuzzy systems Fuzzy control system Artificial intelligence Logic Logic in computer science
538	Phenology Word Search Grades[removed]Non-Formal) for Grades 5 through 12 The purpose of this word search is to engage students in using their observation and critical thinking skills to find phenology related terms used fr Add to Reading List Source URL: www.usanpn.org Language: English - Date: 2014-08-08 19:18:19 Classical cipher Index of agriculture articles Computer programming Computing Software engineering
539	STAIRS 2014 U. Endriss and J. Leite (Eds.) © 2014 The Authors and IOS Press. This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commerc Add to Reading List Source URL: ub-madoc.bib.uni-mannheim.de Language: English - Date: 2014-08-16 10:26:51 Logic Science Knowledge Artificial intelligence Probabilistic logic Description logic Expected utility hypothesis Subjective expected utility Probability Decision theory Non-classical logic Utility
540	LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC ♥ LOVE AND LOGIC When It’s Time for Them to “G Add to Reading List Source URL: www.talkaboutalcohol.org Language: English - Date: 2014-08-26 18:06:43 Abstraction Axiology Knowledge Modal logic Vacuous truth Logic Science Non-classical logic

UPDATE